Design rewiring using ATPG
نویسندگان
چکیده
منابع مشابه
Design Rewiring Using ATPG
Technology dependent logic optimization is usually carried through a sequence of design rewiring operations. In [18] a new design rewiring method is proposed that combines error diagnosis and correction techniques with ATPG. In this work, we examine its complexity and we arrive to a new set of results with interesting theoretical and practical applications. We also present experiments that conf...
متن کاملMonarch: A Platform for Logic Optimization using ATPG/Diagnosis-based Design Rewiring
In a typical VLSI design cycle, technology-dependent logic optimization may occur after the physical synthesis to satisfy various design constraints in area, power, timing, and testability. Recently, it is proposed in [7] an ATPGbased design rewiring methodology that achieves significant performance gains in benchmark circuits that are already optimized by formal techniques. This case study des...
متن کاملVerifying Properties Using Sequential ATPG
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped into a monitor circuit with a target fault so that finding a test for the fault corresponds to formally establishing the property. The mapping of the properties to the monitor circuit is described in detail and the proces...
متن کاملATPG for Design Errors-Is It Possible?
Design validation is essential to ensuring low cost design of reliable systems, and solutions for validation problems are coming from the manufacturing test community. The purpose of this panel is to summarize the current state of design validation research, and to outline important directions for future research in the area. The panel will include people from both industry and academia to give...
متن کاملATPG for Crosstalk using Hybrid Structural SAT
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk noise generated by coupling capacitances between wires. Test vectors that activate and propagate crosstalk noise effects are becoming an essential part of design verification and manufacturing test. However, deriving ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2002
ISSN: 0278-0070
DOI: 10.1109/tcad.2002.804388